LP with Flexible Grouping and Aggregates Using Modes
نویسندگان
چکیده
We propose a new grouping operator for logic programs based on the bagof predicate. The novelty of our proposal lies in the use of modes, which allows us to prove properties regarding groundness of computed answer substitutions and termination. Moreover, modes allow us to define a somewhat declarative semantics for it and to relax some rather unpractical constraints on variable occurrences while retaining a straightforward semantics.
منابع مشابه
Identification of Dynamic Damping Properties of a Flexible Structural Adhesive
In this paper dynamic damping properties of a nominated flexible structural adhesive have been identified using an extended-direct modal based joint identification method. It has been revealed that damping characteristics of adhesive are correlated to both frequency and mode shape. Young’s and shear moduli increase with frequency but damping on the other hand, decrease. The results showed that ...
متن کاملIn-silico Investigation of Tubulin Binding Modes of a Series of Novel Antiproliferative Spiroisoxazoline Compounds Using Docking Studies
Interference with microtubule polymerization results in cell cycle arrest leading to cell death. Colchicine is a well-known microtubule polymerization inhibitor which does so by binding to a specific site on tubulin. A set of 3',4'-bis (substituted phenyl)-4'H-spiro[indene-2,5'-isoxazol]-1(3H)-one derivatives with known antiproliferative activities were evaluated for their tubulin binding modes...
متن کاملIn-silico Investigation of Tubulin Binding Modes of a Series of Novel Antiproliferative Spiroisoxazoline Compounds Using Docking Studies
Interference with microtubule polymerization results in cell cycle arrest leading to cell death. Colchicine is a well-known microtubule polymerization inhibitor which does so by binding to a specific site on tubulin. A set of 3',4'-bis (substituted phenyl)-4'H-spiro[indene-2,5'-isoxazol]-1(3H)-one derivatives with known antiproliferative activities were evaluated for their tubulin binding modes...
متن کاملAn Investigation on the Effects of Aggregates Properties on the Performance of Unbound Aggregate Base Layer
Unbound aggregates are the most common type of materials used for construction of the base layer of flexible pavements in Iran and worldwide. Due to the lack of binder, the performance of the compacted unbound aggregates is highly dependent on the properties of the gravel (particles remaining on sieve 4.75mm, sand (particles passing sieve 4.75mm and remaining on sieve 0....
متن کاملManipulation Control of a Flexible Space Free Flying Robot Using Fuzzy Tuning Approach
Cooperative object manipulation control of rigid-flexible multi-body systems in space is studied in this paper. During such tasks, flexible members like solar panels may get vibrated that in turn may lead to some oscillatory disturbing forces on other subsystems, and consequently produces error in the motion of the end-effectors of the cooperative manipulating arms. Therefore, to design and dev...
متن کامل